Scalable Race Detection for Android Applications Pavol Bielik Veselin Raychev Martin Vechev

Source URL: www.srl.inf.ethz.ch

• Computing
• Software
• Computer architecture
• Alphabet Inc.
• Android
• Smartphones
• Message queue
• RAR-related orphan receptor
• Event loop
• Synchronization

Noname manuscript No. (will be inserted by the editor) On Performance Evaluation of Swarm-based Live Peer-to-Peer Streaming Applications Reza Rejaie · Nazanin Magharei

Source URL: mirage.cs.uoregon.edu

• File sharing
• Peer-to-peer
• Transmission Control Protocol
• Network packet
• Computing
• Information
• Computer networking
• Data transmission
• Network protocols
• Overlay network

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: www.srl.inf.ethz.ch

• Computing
• Artificial intelligence
• Machine learning
• Graphical models
• Structured prediction
• Computational statistics
• Statistical classification
• Conditional random field
• Probabilistic programming language
• Inference
• Artificial neural network
• Support vector machine

INTRODUCTION TO PL/1 PL/I is a structured language to develop systems and applications programs (both business and scientific). Significant features : v Allows

Source URL: www.angelfire.com

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• PL/I
• Subroutine
• MAD
• C
• ALGOL 68
• Hexadecimal
• Binary file
• PL/SQL

Computer Vision Why study Computer Vision? • Images and movies are everywhere • Fast-growing collection of useful applications – building representations of the 3D world from

Source URL: www-inst.eecs.berkeley.edu

DATA S H E E T Velocity Browser Web applications have a long and proven history. You’ve invested in these systems, and want to be sure you can leverage them, even as you explore a new, expanding generation of mobile d

Source URL: rs.wavelink.com

• Computing
• Software
• Computer architecture
• User interface techniques
• Software architecture
• Automatic identification and data capture
• Mobile computing
• Windows Mobile
• Android
• Mobile app
• Web application
• Mobile Web

REAL-TIME MUSICAL APPLICATIONS ON AN EXPERIMENTAL OPERATING SYSTEM FOR MULTI-CORE PROCESSORS Juan A. Colmenares1 , Ian Saxton1,2 , Eric Battenberg1,2 , Rimas Aviˇzienis1,2 , Nils Peters1,2,3 Krste Asanovi´c1,3 , John D

Source URL: www.ericbattenberg.com

• Concurrent computing
• Parallel computing
• Computing
• Computer programming
• Data parallelism
• Task parallelism
• Scheduling
• Thread
• Multi-core processor
• Instruction-level parallelism
• Work stealing
• Multithreading

Energy Proportionality and Workload Consolidation for Latency-critical Applications George Prekas 1, Mia Primorac 1, Adam Belay2, Christos Kozyrakis 2, Edouard Bugnion

Source URL: acmsocc.github.io

• Computing
• Software
• Cross-platform software
• Structured storage
• Energy conservation
• Computer performance
• Energy proportional computing
• Memcached
• Dynamic voltage scaling
• Latency
• Scalability
• Pareto

ISSN 2306–6172 (p) 2308–9822 (o) Eurasian Journal of Mathematical and Computer Applications

Source URL: ejmca.enu.kz

Microsoft PowerPoint - presentation-final

Source URL: demo.a-sit.at

• Computing
• Cloud computing
• Cloud standards
• Cloud applications
• Computer access control
• Federated identity
• OAuth
• Cloud-based integration
• Salesforce.com
• International Federation for Information Processing
• Integration platform
• OpenID